Initial results of LF sensor network for lightning observation and characteristics of lightning emission in LF band
نویسندگان
چکیده
منابع مشابه
LF/VLF and VHF lightning fast-stepped leader observations
[1] This paper reports multiplatform observations of leader radiation preceding initial cloud-to-ground lightning return strokes by <6 ms. Specifically, we present multistation ground-based LF/VLF recordings of events with large-amplitude leader activity (comparable in amplitude to the return stroke amplitude). The events were selected for their coincidence with VHF observations by the FORTE sa...
متن کاملLF in LF: Mechanizing the Metatheory of LF in Twelf
We present a mechanized proof of the metatheory of LF, i.e. the decidability of typechecking and the existence and uniqueness of canonical forms. We use a syntactic approach in which we define a translation from LF to its canonical forms presentation (in which only beta-short, eta-long terms are well-formed) and prove soundness and completeness of the translation, establishing that definitional...
متن کاملObservation of the optical and spectral characteristics of ball lightning.
Ball lightning (BL) has been observed with two slitless spectrographs at a distance of 0.9 km. The BL is generated by a cloud-to-ground lightning strike. It moves horizontally during the luminous duration. The evolution of size, color, and light intensity is reported in detail. The spectral analysis indicates that the radiation from soil elements is present for the entire lifetime of the BL.
متن کاملCompiler Veriication in Lf
We sketch a methodology for the veriication of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this technique to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM).
متن کاملLightning Protection of Ehv Substations in Iran
Extra high voltage (EHV) substations are extremely vulnerable to the hazard of lightning strokes therefore, the shielding of these substations with a highly reliable protective scheme (shield wires) is an essential undertaking. In this paper an attempt is made to clarify the design procedure for shielding EHV substations against lightning with special reference to Iran.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geophysical Research: Atmospheres
سال: 2014
ISSN: 2169-897X
DOI: 10.1002/2014jd022065